Deduction theorem

#	Item
171	PDF Document Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2006-08-24 20:08:31 Proof theory Automated theorem proving Logic in computer science Propositional calculus Computational complexity theory Natural deduction Sequent calculus Propositional proof system Proof complexity Logic Mathematical logic Mathematics
172	PDF Document Add to Reading List Source URL: dl.dropbox.com Language: English Proof theory Deduction Philosophical logic Formal systems Function Theorem Deductive reasoning Mathematical proof Formal proof Logic Mathematics Logical syntax